9.77/13.54	unsat
