10.77/12.13	unsat
