13.77/15.40	unsat
