10.77/14.51	unsat
