9.77/12.39	unsat
