13.67/16.53	unsat
