18.77/20.37	unsat
