15.77/18.44	unsat
