15.77/18.28	unsat
